UnivTrevesV1, Main, Exploration, bibRecord, 001421

PN standardisation: a survey

Identifieur interne : 001421 ( Main/Exploration ); précédent : 001420; suivant : 001422

PN standardisation: a survey

Auteurs : Lom Hillah [France] ; Fabrice Kordon [France] ; Laure Petrucci [France] ; Nicolas Trèves [France]

Source :

RBID : Hal:hal-00084198

Abstract

Petri Nets formalism requires standardisation to facilitate the work of researchers in this field and to enable the data exchange between different Petri Nets tools through a common format. Following this, a three-part International Standard (ISO/IEC 15909) has been developed. Part 1 is devoted to terms and definitions for Place/Transition Nets and High-Level Petri Nets. It is now completed (published as a standard) but will include an addendum on Symmetric Nets. Part 2 aims at providing a transfer format for High-level Petri Nets, called PNML, based on XML. Work on part 3 which deals with extensions has not started yet. In this paper the first two parts of the standard are presented. Then, to support part 2, an implementation of PNML, through an API framework to be integrated into Petri Net tools, is proposed. It allows for the translation of any Petri Net, designed by a given tool in a dedicated format, into PNML.

Url:

https://hal.archives-ouvertes.fr/hal-00084198

DOI: 10.1007/11888116_23

Affiliations:

Links toward previous steps (curation, corpus...)

to stream Hal, to step Corpus: 000051
to stream Hal, to step Curation: 000051
to stream Hal, to step Checkpoint: 000035
to stream Main, to step Merge: 001551
to stream Main, to step Curation: 001421

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="it">PN standardisation: a survey</title>
<author><name sortKey="Hillah, Lom" sort="Hillah, Lom" uniqKey="Hillah L" first="Lom" last="Hillah">Lom Hillah</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-405336" status="VALID">  <orgName>Modélisation et Vérification</orgName>
  <orgName type="acronym">MoVe</orgName>
  <desc>    <address>      <country key="FR"></country>
    </address>
  </desc>
  <listRelation>    <relation active="#struct-233" type="direct"></relation>
    <relation name="UMR7606" active="#struct-441569" type="indirect"></relation>
    <relation active="#struct-93591" type="indirect"></relation>
  </listRelation>
<tutelles><tutelle active="#struct-233" type="direct"><org type="laboratory" xml:id="struct-233" status="VALID">  <idno type="RNSR">199712651U</idno>
  <orgName>Laboratoire d'Informatique de Paris 6</orgName>
  <orgName type="acronym">LIP6</orgName>
  <desc>    <address>      <addrLine>4 Place JUSSIEU 75252 PARIS CEDEX 05</addrLine>
      <country key="FR"></country>
    </address>
    <ref type="url">http://www.lip6.fr/</ref>
  </desc>
  <listRelation>    <relation name="UMR7606" active="#struct-441569" type="direct"></relation>
    <relation active="#struct-93591" type="direct"></relation>
  </listRelation>
</org>
</tutelle>
<tutelle name="UMR7606" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno>
<idno type="ISNI">0000000122597504</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-93591" type="indirect"><org type="institution" xml:id="struct-93591" status="VALID">  <orgName>Université Pierre et Marie Curie - Paris 6</orgName>
  <orgName type="acronym">UPMC</orgName>
  <desc>    <address>      <addrLine>4 place Jussieu - 75005 Paris</addrLine>
      <country key="FR"></country>
    </address>
    <ref type="url">http://www.upmc.fr/</ref>
  </desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
<author><name sortKey="Kordon, Fabrice" sort="Kordon, Fabrice" uniqKey="Kordon F" first="Fabrice" last="Kordon">Fabrice Kordon</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-405336" status="VALID">  <orgName>Modélisation et Vérification</orgName>
  <orgName type="acronym">MoVe</orgName>
  <desc>    <address>      <country key="FR"></country>
    </address>
  </desc>
  <listRelation>    <relation active="#struct-233" type="direct"></relation>
    <relation name="UMR7606" active="#struct-441569" type="indirect"></relation>
    <relation active="#struct-93591" type="indirect"></relation>
  </listRelation>
<tutelles><tutelle active="#struct-233" type="direct"><org type="laboratory" xml:id="struct-233" status="VALID">  <idno type="RNSR">199712651U</idno>
  <orgName>Laboratoire d'Informatique de Paris 6</orgName>
  <orgName type="acronym">LIP6</orgName>
  <desc>    <address>      <addrLine>4 Place JUSSIEU 75252 PARIS CEDEX 05</addrLine>
      <country key="FR"></country>
    </address>
    <ref type="url">http://www.lip6.fr/</ref>
  </desc>
  <listRelation>    <relation name="UMR7606" active="#struct-441569" type="direct"></relation>
    <relation active="#struct-93591" type="direct"></relation>
  </listRelation>
</org>
</tutelle>
<tutelle name="UMR7606" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno>
<idno type="ISNI">0000000122597504</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-93591" type="indirect"><org type="institution" xml:id="struct-93591" status="VALID">  <orgName>Université Pierre et Marie Curie - Paris 6</orgName>
  <orgName type="acronym">UPMC</orgName>
  <desc>    <address>      <addrLine>4 place Jussieu - 75005 Paris</addrLine>
      <country key="FR"></country>
    </address>
    <ref type="url">http://www.upmc.fr/</ref>
  </desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
<author><name sortKey="Petrucci, Laure" sort="Petrucci, Laure" uniqKey="Petrucci L" first="Laure" last="Petrucci">Laure Petrucci</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-994" status="VALID">  <orgName>Laboratoire d'Informatique de Paris-Nord</orgName>
  <orgName type="acronym">LIPN</orgName>
  <desc>    <address>      <addrLine>Institut Galilée, Université Paris 13, 99 avenue Jean-Baptiste Clément, F-93430, Villetaneuse</addrLine>
      <country key="FR"></country>
    </address>
    <ref type="url">http://www-lipn.univ-paris13.fr/</ref>
  </desc>
  <listRelation>    <relation active="#struct-303141" type="direct"></relation>
    <relation active="#struct-303171" type="direct"></relation>
    <relation active="#struct-305778" type="direct"></relation>
    <relation name="UMR7030" active="#struct-441569" type="direct"></relation>
  </listRelation>
<tutelles><tutelle active="#struct-303141" type="direct"><org type="institution" xml:id="struct-303141" status="VALID"><orgName>Université Paris 13</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-303171" type="direct"><org type="institution" xml:id="struct-303171" status="VALID">  <orgName>Université Sorbonne Paris Cité</orgName>
  <orgName type="acronym">USPC</orgName>
  <desc>    <address>      <country key="FR"></country>
    </address>
    <ref type="url">http://www.sorbonne-paris-cite.fr/fr</ref>
  </desc>
</org>
</tutelle>
<tutelle active="#struct-305778" type="direct"><org type="institution" xml:id="struct-305778" status="INCOMING">  <orgName>Institut Galilée</orgName>
  <desc>    <address>      <country key="FR"></country>
    </address>
  </desc>
</org>
</tutelle>
<tutelle name="UMR7030" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno>
<idno type="ISNI">0000000122597504</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Paris</settlement>
<region type="region" nuts="2">Île-de-France</region>
</placeName>
<orgName type="university">Université Paris 13</orgName>
</affiliation>
</author>
<author><name sortKey="Treves, Nicolas" sort="Treves, Nicolas" uniqKey="Treves N" first="Nicolas" last="Trèves">Nicolas Trèves</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-16574" status="VALID">  <orgName>Centre d'Etude et De Recherche en Informatique du Cnam</orgName>
  <orgName type="acronym">CEDRIC</orgName>
  <desc>    <address>      <addrLine>292 Rue St Martin FR-75141 Paris Cedex 03</addrLine>
      <country key="FR"></country>
    </address>
    <ref type="url">http://cedric.cnam.fr/</ref>
  </desc>
  <listRelation>    <relation active="#struct-300351" type="direct"></relation>
  </listRelation>
<tutelles><tutelle active="#struct-300351" type="direct"><org type="institution" xml:id="struct-300351" status="VALID">  <orgName>Conservatoire National des Arts et Métiers [CNAM]</orgName>
  <orgName type="acronym">CNAM</orgName>
  <desc>    <address>      <country key="FR"></country>
    </address>
  </desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:hal-00084198</idno>
<idno type="halId">hal-00084198</idno>
<idno type="halUri">https://hal.archives-ouvertes.fr/hal-00084198</idno>
<idno type="url">https://hal.archives-ouvertes.fr/hal-00084198</idno>
<idno type="doi">10.1007/11888116_23</idno>
<date when="2006-09-26">2006-09-26</date>
<idno type="wicri:Area/Hal/Corpus">000051</idno>
<idno type="wicri:Area/Hal/Curation">000051</idno>
<idno type="wicri:Area/Hal/Checkpoint">000035</idno>
<idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">000035</idno>
<idno type="wicri:Area/Main/Merge">001551</idno>
<idno type="wicri:Area/Main/Curation">001421</idno>
<idno type="wicri:Area/Main/Exploration">001421</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="it">PN standardisation: a survey</title>
<author><name sortKey="Hillah, Lom" sort="Hillah, Lom" uniqKey="Hillah L" first="Lom" last="Hillah">Lom Hillah</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-405336" status="VALID">  <orgName>Modélisation et Vérification</orgName>
  <orgName type="acronym">MoVe</orgName>
  <desc>    <address>      <country key="FR"></country>
    </address>
  </desc>
  <listRelation>    <relation active="#struct-233" type="direct"></relation>
    <relation name="UMR7606" active="#struct-441569" type="indirect"></relation>
    <relation active="#struct-93591" type="indirect"></relation>
  </listRelation>
<tutelles><tutelle active="#struct-233" type="direct"><org type="laboratory" xml:id="struct-233" status="VALID">  <idno type="RNSR">199712651U</idno>
  <orgName>Laboratoire d'Informatique de Paris 6</orgName>
  <orgName type="acronym">LIP6</orgName>
  <desc>    <address>      <addrLine>4 Place JUSSIEU 75252 PARIS CEDEX 05</addrLine>
      <country key="FR"></country>
    </address>
    <ref type="url">http://www.lip6.fr/</ref>
  </desc>
  <listRelation>    <relation name="UMR7606" active="#struct-441569" type="direct"></relation>
    <relation active="#struct-93591" type="direct"></relation>
  </listRelation>
</org>
</tutelle>
<tutelle name="UMR7606" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno>
<idno type="ISNI">0000000122597504</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-93591" type="indirect"><org type="institution" xml:id="struct-93591" status="VALID">  <orgName>Université Pierre et Marie Curie - Paris 6</orgName>
  <orgName type="acronym">UPMC</orgName>
  <desc>    <address>      <addrLine>4 place Jussieu - 75005 Paris</addrLine>
      <country key="FR"></country>
    </address>
    <ref type="url">http://www.upmc.fr/</ref>
  </desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
<author><name sortKey="Kordon, Fabrice" sort="Kordon, Fabrice" uniqKey="Kordon F" first="Fabrice" last="Kordon">Fabrice Kordon</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-405336" status="VALID">  <orgName>Modélisation et Vérification</orgName>
  <orgName type="acronym">MoVe</orgName>
  <desc>    <address>      <country key="FR"></country>
    </address>
  </desc>
  <listRelation>    <relation active="#struct-233" type="direct"></relation>
    <relation name="UMR7606" active="#struct-441569" type="indirect"></relation>
    <relation active="#struct-93591" type="indirect"></relation>
  </listRelation>
<tutelles><tutelle active="#struct-233" type="direct"><org type="laboratory" xml:id="struct-233" status="VALID">  <idno type="RNSR">199712651U</idno>
  <orgName>Laboratoire d'Informatique de Paris 6</orgName>
  <orgName type="acronym">LIP6</orgName>
  <desc>    <address>      <addrLine>4 Place JUSSIEU 75252 PARIS CEDEX 05</addrLine>
      <country key="FR"></country>
    </address>
    <ref type="url">http://www.lip6.fr/</ref>
  </desc>
  <listRelation>    <relation name="UMR7606" active="#struct-441569" type="direct"></relation>
    <relation active="#struct-93591" type="direct"></relation>
  </listRelation>
</org>
</tutelle>
<tutelle name="UMR7606" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno>
<idno type="ISNI">0000000122597504</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-93591" type="indirect"><org type="institution" xml:id="struct-93591" status="VALID">  <orgName>Université Pierre et Marie Curie - Paris 6</orgName>
  <orgName type="acronym">UPMC</orgName>
  <desc>    <address>      <addrLine>4 place Jussieu - 75005 Paris</addrLine>
      <country key="FR"></country>
    </address>
    <ref type="url">http://www.upmc.fr/</ref>
  </desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
<author><name sortKey="Petrucci, Laure" sort="Petrucci, Laure" uniqKey="Petrucci L" first="Laure" last="Petrucci">Laure Petrucci</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-994" status="VALID">  <orgName>Laboratoire d'Informatique de Paris-Nord</orgName>
  <orgName type="acronym">LIPN</orgName>
  <desc>    <address>      <addrLine>Institut Galilée, Université Paris 13, 99 avenue Jean-Baptiste Clément, F-93430, Villetaneuse</addrLine>
      <country key="FR"></country>
    </address>
    <ref type="url">http://www-lipn.univ-paris13.fr/</ref>
  </desc>
  <listRelation>    <relation active="#struct-303141" type="direct"></relation>
    <relation active="#struct-303171" type="direct"></relation>
    <relation active="#struct-305778" type="direct"></relation>
    <relation name="UMR7030" active="#struct-441569" type="direct"></relation>
  </listRelation>
<tutelles><tutelle active="#struct-303141" type="direct"><org type="institution" xml:id="struct-303141" status="VALID"><orgName>Université Paris 13</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-303171" type="direct"><org type="institution" xml:id="struct-303171" status="VALID">  <orgName>Université Sorbonne Paris Cité</orgName>
  <orgName type="acronym">USPC</orgName>
  <desc>    <address>      <country key="FR"></country>
    </address>
    <ref type="url">http://www.sorbonne-paris-cite.fr/fr</ref>
  </desc>
</org>
</tutelle>
<tutelle active="#struct-305778" type="direct"><org type="institution" xml:id="struct-305778" status="INCOMING">  <orgName>Institut Galilée</orgName>
  <desc>    <address>      <country key="FR"></country>
    </address>
  </desc>
</org>
</tutelle>
<tutelle name="UMR7030" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno>
<idno type="ISNI">0000000122597504</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Paris</settlement>
<region type="region" nuts="2">Île-de-France</region>
</placeName>
<orgName type="university">Université Paris 13</orgName>
</affiliation>
</author>
<author><name sortKey="Treves, Nicolas" sort="Treves, Nicolas" uniqKey="Treves N" first="Nicolas" last="Trèves">Nicolas Trèves</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-16574" status="VALID">  <orgName>Centre d'Etude et De Recherche en Informatique du Cnam</orgName>
  <orgName type="acronym">CEDRIC</orgName>
  <desc>    <address>      <addrLine>292 Rue St Martin FR-75141 Paris Cedex 03</addrLine>
      <country key="FR"></country>
    </address>
    <ref type="url">http://cedric.cnam.fr/</ref>
  </desc>
  <listRelation>    <relation active="#struct-300351" type="direct"></relation>
  </listRelation>
<tutelles><tutelle active="#struct-300351" type="direct"><org type="institution" xml:id="struct-300351" status="VALID">  <orgName>Conservatoire National des Arts et Métiers [CNAM]</orgName>
  <orgName type="acronym">CNAM</orgName>
  <desc>    <address>      <country key="FR"></country>
    </address>
  </desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
</analytic>
<idno type="DOI">10.1007/11888116_23</idno>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass></textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Petri Nets formalism requires standardisation to facilitate the work of researchers in this field and to enable the data exchange between different Petri Nets tools through a common format. Following this, a three-part International Standard (ISO/IEC 15909) has been developed. Part 1 is devoted to terms and definitions for Place/Transition Nets and High-Level Petri Nets. It is now completed (published as a standard) but will include an addendum on Symmetric Nets. Part 2 aims at providing a transfer format for High-level Petri Nets, called PNML, based on XML. Work on part 3 which deals with extensions has not started yet. In this paper the first two parts of the standard are presented. Then, to support part 2, an implementation of PNML, through an API framework to be integrated into Petri Net tools, is proposed. It allows for the translation of any Petri Net, designed by a given tool in a dedicated format, into PNML.</div>
</front>
</TEI>
<affiliations><list><country><li>France</li>
</country>
<region><li>Île-de-France</li>
</region>
<settlement><li>Paris</li>
</settlement>
<orgName><li>Université Paris 13</li>
</orgName>
</list>
<tree><country name="France"><noRegion><name sortKey="Hillah, Lom" sort="Hillah, Lom" uniqKey="Hillah L" first="Lom" last="Hillah">Lom Hillah</name>
</noRegion>
<name sortKey="Kordon, Fabrice" sort="Kordon, Fabrice" uniqKey="Kordon F" first="Fabrice" last="Kordon">Fabrice Kordon</name>
<name sortKey="Petrucci, Laure" sort="Petrucci, Laure" uniqKey="Petrucci L" first="Laure" last="Petrucci">Laure Petrucci</name>
<name sortKey="Treves, Nicolas" sort="Treves, Nicolas" uniqKey="Treves N" first="Nicolas" last="Trèves">Nicolas Trèves</name>
</country>
</tree>
</affiliations>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Rhénanie/explor/UnivTrevesV1/Data/Main/Exploration

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001421 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 001421 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Rhénanie
   |area=    UnivTrevesV1
   |flux=    Main
   |étape=   Exploration
   |type=    RBID
   |clé=     Hal:hal-00084198
   |texte=   PN standardisation: a survey
}}

This area was generated with Dilib version V0.6.31.
Data generation: Sat Jul 22 16:29:01 2017. Site generation: Wed Feb 28 14:55:37 2024

	Serveur d'exploration sur l'Université de Trèves
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur l'Université de Trèves

PN standardisation: a survey

PN standardisation: a survey

Source :

Abstract

Links toward previous steps (curation, corpus...)

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri